Constraint Models for the Covering Test Problem
نویسندگان
چکیده
منابع مشابه
Scribe : Wesley Botham Paper : Constraint Models for the Covering Test Problem
Presenter: Pingyu Zhang Scribe: Wesley Botham Paper: Constraint Models for the Covering Test Problem Authors: Brahim Hnich, Steven D. Prestwich, Evgeny Selensky, Barbara M. Smith, Constraints 2006 The speaker stated that the paper 1. Addresses the covering test problem, an optimization problem. 2. Models & solves the problem as a CSP and as a SAT, and 3. Discusses the performance of the approac...
متن کاملConstraint-Based Approaches to the Covering Test Problem
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our proposed models exploit non-binary (global) constraints, redundant modelling, channelling constraints, and symmetry breaking constraints. Our initial experiments show that with our best integrated model, we are able to eit...
متن کاملGlobal Constraint for the Set Covering Problem
souci d'allier la proposition d'idées originales, qui ressortent du cadre de l'application simple, et de la concrétisation fiable de cesdernì eres. Y arriver est une chose d'extrêmement gratifiante. Leséchanges que nous avons eu m'ont toujours beaucoup apportés.
متن کاملthe algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولModeling the Covering Test Problem?
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our proposed models exploit non-binary (global) constraints, redundant modelling, channelling constraints, and symmetry breaking constraints. Our initial experiments show that with our best integrated model, we are able to eit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Constraints
سال: 2006
ISSN: 1383-7133,1572-9354
DOI: 10.1007/s10601-006-7094-9